namespace Rsdn.Framework.Formatting.JetBrains.Annotations
{
    using System;

    /// <summary>
    /// Indicates that the marked method unconditionally terminates control flow execution.
    /// For example, it could unconditionally throw exception
    /// </summary>
    [AttributeUsage(AttributeTargets.Method, AllowMultiple=false, Inherited=true)]
    internal sealed class TerminatesProgramAttribute : Attribute
    {
    }
}

